检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 基于区块链的密封式投标拍卖方案

李蓓, 张问银, 王九如, 赵伟, 王海峰

计算机应用 2021, 41 (4): 999-1004. DOI: 10.11772/j.issn.1001-9081.2020081329

摘要（484）

PDF （1651KB）（783）

随着互联网技术的飞速发展，传统拍卖正逐渐转变为电子拍卖，其中隐私保护越来越受到关注。针对当前电子投标拍卖系统中出现的问题，如竞买人隐私存在被泄露的风险、第三方拍卖中心的费用昂贵、第三方拍卖中心可能与竞买人勾结等，提出一种基于区块链智能合约技术的密封式投标拍卖方案。该方案充分利用区块链的去中心化、防篡改和可信赖性等特征构建了一个无第三方的拍卖环境，并通过区块链上的安全保证金策略约束竞买人的行为，从而提高密封式电子拍卖的安全性。同时该方案利用Pedersen承诺保护竞买人的竞拍价格不被泄露，并通过Bulletproofs零知识证明协议验证中标价格的正确性。安全性分析和实验结果表明，提出的拍卖方案满足安全性要求，各个阶段的时间消耗均在可接受范围内，满足日常拍卖要求。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于符号执行的智能合约漏洞检测方案

赵伟, 张问银, 王九如, 王海峰, 武传坤

计算机应用 2020, 40 (4): 947-953. DOI: 10.11772/j.issn.1001-9081.2019111919

摘要（1322）

PDF （775KB）（1300）

随着区块链技术的应用推广，智能合约的数量呈现爆发式增长，而智能合约的漏洞将给用户带来巨大损失。但目前研究侧重于以太坊智能合约的语义分析、符号执行的建模与优化等，没有详细描述利用符号执行技术检测智能合约漏洞流程，以及如何检测智能合约常见漏洞。为此，在分析以太坊智能合约的运行机制和常见漏洞原理的基础上，利用符号执行技术检测智能合约漏洞。首先基于以太坊字节码构建智能合约执行控制流图，再根据智能合约漏洞特点设计相应的约束条件，利用约束求解器生成软件测试用例，检测常见的整型溢出、权限控制、Call注入、重入攻击等智能合约漏洞。实验结果表明，所提检测方案具有良好的检测效果，对Awesome-Buggy-ERC20-Tokens漏洞库中70份含漏洞的智能合约的漏洞检测正确率达85%。

参考文献 | 相关文章 | 多维度评价